Naming and Diagonalization, from Cantor to Godel to Kleene
نویسندگان
چکیده
منابع مشابه
Naming and Diagonalization, from Cantor to Gödel to Kleene
Gödel’s incompleteness results apply to formal theories for which syntactic constructs can be given names, in the same language, so that some basic syntactic operations are representable in the theory. It is now customary to derive these results from the fixed point theorem (also known as the reflection theorem), which asserts the existence of sentences that “speak about themselves”. Let T be t...
متن کاملthe role of russia in transmission of energy from central asia and caucuses to european union
پس ازفروپاشی شوروی،رشد منابع نفت و گاز، آسیای میانه و قفقاز را در یک بازی ژئوپلتیکی انرژی قرار داده است. با در نظر گرفتن این منابع هیدروکربنی، این منطقه به یک میدانجنگ و رقابت تجاری برای بازی های ژئوپلتیکی قدرت های بزرگ جهانی تبدیل شده است. روسیه منطقه را به عنوان حیات خلوت خود تلقی نموده و علاقمند به حفظ حضورش می باشد تا همانند گذشته گاز طبیعی را به وسیله خط لوله مرکزی دریافت و به عنوان یک واس...
15 صفحه اولepidemiological study of oral and pharyngeal cancers in kermanshah province from march 1993 to march 2006
چکیده ندارد.
15 صفحه اولfrom historical facts to geo-political realities: relation between turkey and armenia ( 1915 – 2010)
armenias geopolitics and its historical experience have had a determining impact on the character of its foreign policy .present-day armenia is a small, landlocked country with _11,620 square miles area armenias landlocked nature makes it dependent on the benevolence of its neighbors for access to the outside world a fact that gives it a sense of isolation and vulnerability. as it was indic...
15 صفحه اولfrom linguistics to literature: a linguistic approach to the study of linguistic deviations in the turkish divan of shahriar
chapter i provides an overview of structural linguistics and touches upon the saussurean dichotomies with the final goal of exploring their relevance to the stylistic studies of literature. to provide evidence for the singificance of the study, chapter ii deals with the controversial issue of linguistics and literature, and presents opposing views which, at the same time, have been central to t...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic Journal of IGPL
سال: 2006
ISSN: 1367-0751,1368-9894
DOI: 10.1093/jigpal/jzl006